中英
1
automatic reasoning中文是什么意思
发音:
- 中文翻译
- 造句
- 自动推理法
- reasoning n. 推论，推理；论究，论断；理论，论证；论法。 adj. 能推理的；有关推理的。 the reasoning power 推理力。 a reasoning creature 理性动物，人类。
- a priori reasoning 先验推理
- abductive reasoning 反绎推理; 溯因推理; 诱导推理
- abstract reasoning 抽象推理
- absurd reasoning 归谬推理
- age of reasoning 推理的年龄
- analogic reasoning 类比推理
- analogical reasoning 类比推理
- analytical reasoning 分析题
- aposterior reasoning 后验推理
- approximate reasoning 近似推理
- approximation reasoning 近似推理
- automated reasoning 自动推理
- automating reasoning 自动推论
- backward reasoning 反向推理
- bidirection reasoning 双向推理
- boolean reasoning 布尔推理
- categorical reasoning 范畴推理
- causal reasoning 因果推理
- circular reasoning 循环推理
- circumscription reasoning 约束推理, 限定推理
- close reasoning 严密的推理
- commonsense reasoning 常识推理
- complex reasoning 综合推理
- consequent reasoning 结论推理
- The in this thesis an icai system is built for this subject using automatic reasoning
本文恰是从事这方面的工作，研究一个带有自动推理功能的程序设计icai系统。 - Meanwhile, in order to automatically reason, an automatic reasoning program is developed based on artificial intelligence
为帮助对模型进行推理分析,还采用了人工智能中的自动推理技术,编写了自动推理程序。 - In 1989, academician wu wen-tsun forwards wu differential characteristic method which establish theoretical basis for mechanical theorem proving of differential geometry and the research of automatic reasoning
1989年吴文俊院士提出了吴?微分特征列法，为微分几何定理的机械化证明和自动推理的理论研究奠定了理论基础。 - Combining with knowledge representation and automatic reasoning principle of ai and generic paradigm, the system has these main functions : ? it is able to show different solutions of typical example; ( 2 ) it can automatically generate problems similar to the example for students to solve by providing them with clues; ( 3 ) these problems can be studied by demonstrating the complete solution process and answers with the help of automated reasoning, or by providing real-time prompts to students concurrent with the students " solution processes with the help of automated reasoning; ? it provides exercises and is able to call a program produced by the group ( the translator ), which transfers apla programs to executable programs so as to verify its correctness; ( 5 ) it let teacher to add examples in the database; etc . hi the course of systematic research, we deeply investigated the relevant knowledge of the system and made some innovation : about teaching content, we select par method as the main content
本系统选用薛锦云教授的par方法为主要教学内容，应用人工智能的知识表示和自动推理原理及泛型思想，使得系统具有以下核心功能：展示几种典型例题的解；以泛型思想为指导，实现了无限题库，可以自动生成与典型例题类似的问题给学生求解并给予提示；对于这些题目，计算机可以自动推理出由问题到程序的全过程供学生学习；也可通过自动推理根据用户的实际做题情况实时给出提示，交互式地帮助学生学习算法程序设计；学生可以从问题库中获得练习，并调用转换器，将自己的apla程序转化为可执行语言程序，运行以检验其正确性；对教师而言，可以对已有的实例库、问题库进行添加操作等。在系统的研制过程中，我们深入研究了系统的各方面相关知识，并进行了多方面的创新：在教学内容方面，首次选用par方法为主要内容。
- 推荐英语阅读
automatic reasoning的中文翻译，automatic reasoning是什么意思，怎么用汉语翻译automatic reasoning，automatic reasoning的中文意思，automatic reasoning的中文，automatic reasoning in Chinese，automatic reasoning的中文，automatic reasoning怎么读，发音，例句，用法和解释由查查在线词典提供，版权所有违者必究。
Last modified time:Fri, 15 Aug 2025 00:29:56 GMT
关于我们
